Section: Partnerships and Cooperations
National Initiatives
PIA ELCI, Environnement Logiciel pour le Calcul Intensif, 2014-2018
The ELCI PIA project is coordinated by BULL with several partners: CEA, Inria, SAFRAN, UVSQ.
This project aims to improve the support for numerical simulations and High Performance Computing (HPC) by providing a new generation software stack to control supercomputers, to improve numerical solvers, and pre- and post computing software, as well as programming and execution environment. It also aims at validating the relevance of these developments by demonstrating their capacity to deliver better scalability, resilience, modularity, abstraction, and interaction on some application use-cases. TADaaM is involved in WP1 and WP2 ELCI Work Packages. Emmanuel Jeannot is the Inria representative in the ELCI steering committee.
ANR
ANR MOEBUS Scheduling in HPC (http://moebus.gforge.inria.fr/doku.php).
-
Abstract: This project focuses on the efficient execution of parallel applications submitted by various users and sharing resources in large-scale high-performance computing environments.
ANR SATAS SAT as a Service (http://www.agence-nationale-recherche.fr/Project-ANR-15-CE40-0017).
-
Abstract: The SATAS project aims to advance the state of the art in massively parallel SAT solving. The final goal of the project is to provide a “pay as you go” interface to SAT solving services and will extend the reach of SAT solving technologies, daily used in many critical and industrial applications, to new application areas, which were previously considered too hard, and lower the cost of deploying massively parallel SAT solvers on the cloud.
ANR DASH Data-Aware Scheduling at Higher scale (https://project.inria.fr/dash/).